| Why a Verifier? |
|
Hostile compilers (or just broken ones) |
|
|
Improve the speed of the interpreter |
|
|
Protect against changing APIs |
|
|
Protect against stack overflow, underflow, etc. |